theorem machine prove
[計] 定理機器證明
熱門查詢
- longshore adj. 沿岸的；在海岸工作的 adv. 沿岸
- schematically adv. 計劃性地；按照圖式
- fruitless adj. 不成功的，徒勞的；不結果實的
- newsman n. 新聞記者；送報者
- tia abbr. 先謝了（Thanks In Advance）
- caste n. （印度社會中的）種姓；（具有嚴格等級差別的）社會地位；（排他的）社會團體 n. (Caste)人名；(英、法)卡斯特
- oi n. 操作說明 abbr. 氧氣指數（Oxygen Index） n. (Oi)人名；(柬)維
- schoolyard n. 校園；運動場
- nippy adj. 刺骨的；銳利的；凜冽的；漂亮的
- Dumont 杜蒙藍色料; [人名] 杜蒙; [地名] [巴西、美國] 杜蒙特
- haggle n. 討價還價；爭論 vi. 爭論；亂劈 vt. 亂劈；亂砍
- rive vt. 撕開；使沮喪 vi. 裂開；破裂 n. (Rive)人名；(西、德)里韋；(法)里夫；(英)賴夫
- head start n. 起步前的優勢 [網絡] 領先；搶得先機；開端
- powered n. 促進（power的過去分詞）；給…提供動力 adj. 有動力裝置的；以…為動力的
- motormouth 說話快并且健談
- saltpeter n. 硝石；硝酸鉀
- widgeon n. [鳥] 野鴨，水鳧；赤頸鳧
- cardiorespiratory adj. 心和肺的
- pall n. 幕；棺罩；遮蓋物 vt. 覆蓋；使乏味 vi. 走味 n. (Pall)人名；(英、德、羅、瑞典)帕爾
- gabled adj. 有山形墻的；人字板制作的；三角墻的 v. 砌三角墻；形成三角墻（gable的過去分詞）
